home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / mosmllib / Obj.sml < prev    next >
Encoding:
Text File  |  1997-08-18  |  624 b   |  15 lines  |  [TEXT/R*ch]
  1. (* Obj.sml *)
  2.  
  3. prim_type obj;
  4.  
  5. prim_val repr          : 'a -> obj   = 1 "identity";
  6. prim_val magic_obj     : obj -> 'a   = 1 "identity";
  7. prim_val magic         : 'a -> 'b    = 1 "identity";
  8. prim_val is_block      : obj -> bool = 1 "obj_is_block"
  9. prim_val obj_tag       : obj -> int  = 1 "tag_of"
  10. prim_val obj_size      : obj -> int  = 1 "vect_length"
  11. prim_val obj_field     : obj -> int -> obj         = 2 "get_vect_item"
  12. prim_val set_obj_field : obj -> int -> obj -> unit = 3 "set_vect_item"
  13. prim_val obj_block     : int -> int -> obj         = 2 "obj_block"
  14. prim_val update        : obj -> obj -> unit        = 2 "update"
  15.